EMPTY = 'empty'
epsilon = 'epsilon'
EMPTYSTRINGSET = set([epsilon])
EMPTYSET = frozenset([])
RENAMEVAR = 'x'
ALL_EVENTS = 'ALL_EVENTS'
UNDEFINED = 'UNDEFINED'
set = frozenset